computational logic

计算逻辑